3sat to vertex cover